Verbum

ІМАВЕ́РНАСНАЯ ЛО́ГІКА,

лагічная сістэма, у якой выказванням (суджэнням, сцвярджэнням, сказам) акрамя значэнняў ісціны і няісціны могуць прыпісвацца «прамежкавыя» значэнні, якія называюць імавернасцямі ісціннасці выказванняў, ступенямі іх праўдападобнасці, ступенямі пацвярджэння і інш. Уяўляе сабой удакладненне індукцыйнай логікі і адзін з відаў мнагазначнай логікі. Ісцінным выказваннем (верагодным падзеям) прыпісваецца ісціннаснае значэнне (імавернасць) — 1, няісцінным выказванням (немагчымым падзеям) — 0. Значэннем выказванняў І.л., што разглядаюцца як гіпотэзы, можа быць любы сапраўдны лік паміж 0 і 1. Вылічэнне імавернасцей складаных гіпотэз, калі вядомы імавернасці выказванняў, якія іх складаюць, робіцца па правілах матэм. вылічэння імавернасцей. Праблематыка Іл. ў стараж.-грэч. філасофіі распрацоўвалася Арыстоцелем, у Новы час — Г.​Лейбніцам, Дж.​Булем, У.​Джэвансам, Дж.​Венам. Сучаснае развіццё грунтуецца на сувязі тэарэтыка-імавернасных паняццяў з ідэямі тэорыі інфармацыі і лагічнай семантыкі. Гл. таксама Імавернасцей тэорыя, Імавернасць, Матэматычная логіка.

т. 7, с. 206